Theories with Koenig ' S Lemma

Anatomic and environmental dimensions of stimulus-response compatibility: implication for theories of memory coding.

Fuzzy Linear Programming and its Application for a Constructive Proof of a Fuzzy Version of Farkas Lemma

The main aim of this paper is to deal with a fuzzy version of Farkas lemma involving trapezoidal fuzzy numbers. In turns to that the fuzzy linear programming and duality theory on these problems can be used to provide a constructive proof for Farkas lemma. Keywords Farkas Lemma, Fuzzy Linear Programming, Duality, Ranking Functions.

Application of visual surveys to estimate acorn production of Brant`s oak (Quercus brantii Lindl.) in northern Zagros Forests of Iran

Acorn production plays a fundamental role in the organization and dynamics of oak forest ecosystems. Regarding acorn importance, visual survey methods have been used to estimate acorn production of oak species throughout the world. In this study, the mast indices of Brant`s oak (Quercus brantii Lindl.) were determined in a section of northern Zagros forests, almost 36 ha area, near Baneh, Kurdi...

Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic

We show how to interpret weak König’s lemma in some recently defined theories of nonstandard arithmetic in all finite types. Two types of interpretations are described, with very different verifications. The celebrated conservation result of Harvey Friedman about weak König’s lemma can be proved using these interpretations. We also address some issues concerning the collecting of witnesses in h...

Semantically transparent linking in HPSG

Most researchers now agree that subcategorization correlates significantly with semantics. But this semantic component of linking has proved elusive. Most, if not all, theories of linking have, in pratice, resorted to constructs that are syntactic diacritics. We show in this paper that the implicit syntactic diacritics that plague the basic linking constraints posited in at least some of these ...